Інваріантний підпростір
У математиці інваріантним підпростором лінійного відображення (тобто з деякого векторного простору у себе) називається підпростір простору , який зберігається при відображенні ; тобто .
Розглянемо лінійне відображення ,
Інваріантний підпростір відображення має наступну властивість: всі вектори перетворюються при відображенні у вектори, які також належать підпростору . Це можна записати як
- : оскільки відображає будь-який вектор з у вектор з .
- : оскільки при лінійному відображенні .
Базисом одновимірного простору є ненульовий вектор . Отже, будь-який вектор можна представити як , де є скаляром. Представимо лінійне відображення як матрицю тоді, для того щоб простір був інваріантним підпростором, він має задовольняти умову
Якщо , то , .
Отже, умову існування одновимірного інваріантного підпростору можна записати як
Зауважимо, що це типове формулювання задачі на власні значення, яке означає, що будь-який власний вектор матриці утворює одновимірний інваріантний підпростір відображення .
Інваріантний підпростір лінійного відображення
з деякого векторного простору у себе, є підпростором простору , такий що належить . Інваріантний підпростір відображення також називається -інваріантним.
Якщо є -інваріантним, то можна обмежити відображення на підпростір , щоб отримати нове лінійне відображення
Це лінійне відображення називається обмеженням відображення на підпростір і визначається як
- для всіх
Нижче наведемо декілька прикладів інваріантних підпросторів.
Очевидно, що сам простір і підпростір є тривіально інваріантними підпросторами для будь-якого лінійного оператора . Для деяких лінійних операторів не існує нетривіального інваріантного підпростору; наприклад, повороти двовимірного дійсного векторного простору.
Нехай — власний вектор лінійного відображення , тобто . Тоді підпростір є -інваріантним. Як наслідок основної теореми алгебри, будь-який лінійний оператор на ненульовому скінченновимірному комплексному векторному просторі має власний вектор. Отже, будь-який такий лінійний оператор має нетривіальний інваріантний підпростір. Тут використано той факт, що комплексні числа є алгебраїчно замкнутим полем. Порівнюючи з попереднім прикладом, можна побачити, що інваріантні підпростори лінійного перетворення залежать від базового поля простору .
Інваріантний вектор (тобто нерухома точка відображення ), відмінний від 0, породжує інваріантний підпростір розмірності 1. Відображення діє на інваріантний підпростір розмірності 1 за допомогою скаляра і складається з інваріантних векторів тоді й лише тоді, коли цей скаляр дорівнює 1.
Як показують наведені вище приклади, інваріантні підпростори заданого лінійного перетворення проливають світло на структуру відображення . Якщо простір є скінченновимірним векторним простором над алгебраїчно замкненим полем, то лінійні перетворення, що діють на просторі , характеризуються (з точністю до подібності) жордановою нормальною формою, яка розкладає простір на інваріантні підпростори відображення . Багато фундаментальних питань щодо відображення можна звести до питань про інваріантні підпростори відображення .
Взагалі кажучи, інваріантні підпростори визначаються для множин операторів як підпростори, інваріантні для кожного оператора в множині. Нехай — алгебра лінійних перетворень на просторі , а — сімейство підпросторів, інваріантних відносно відображення . (Використовується позначення «Lat», оскільки утворює ґратку (англ. lattice), див. обговорення нижче). Для заданої непорожньої множини розглядаються інваріантні підпростори інваріантні відносно кожного відображення . У символьній формі
Наприклад, якщо , то .
Для заданого представлення групи на векторному просторі маємо лінійне відображення для будь-якого елемента групи . Якщо підпростір простору є інваріантним відносно всіх цих відображень, то він є підпредставленням[en] і група діє на підпростір природним чином.
Як інший приклад, нехай відображення і — це алгебра породжена , де — тотожний оператор. Тоді . Оскільки відображення належить тривіально, то . З іншого боку, алгебра складається з поліномів від і , і тому має місце і зворотне включення.
У скінченновимірному векторному просторі будь-яке лінійне перетворення можна представити матрицею як тільки зафіксовано базис простору .
Нехай — -інваріантний підпростір. Виберемо базис підпростору і доповнимо його до базису простору . Тоді відносно цього базису матричне представлення відображення набуває вигляду:
де верхній лівий блок є обмеженням відображення на підпростір .
Іншими словами, для заданого інваріантного підпростору відображення простір можна розкласти у пряму суму:
Розглядаючи лінійне перетворення як матричний оператор
очевидно, що блок має бути нульовим.
Визначення того, чи є даний підпростір інваріантним відносно відображення , є нібито проблемою геометричного характеру. Матричне представлення дозволяє сформулювати цю проблему алгебраїчно. Оператор проєктування на підпростір визначається як , де і . Оператор проєктування має матричне представлення
Безпосереднє обчислення показує, що підпростір (обмеження ) є інваріантним відносно відображення тоді й лише тоді, коли . Іншими словами, підпростір є елементом сімейства підпросторів еквівалентно, що відповідна проєкція задовольняє співвідношення .
Якщо є проєкцією (тобто ), то й також є проєкцією, де — тотожний оператор. Із вищесказаного випливає, що рівність справджується тоді й лише тоді, коли обидва підпростори і є інваріантними відносно відображення . У цьому випадку відображення має матричне представлення
Іншими словами, проєкція, яка комутує з відображенням , «діагоналізує» відображення .
- Основна стаття: Задача про інваріантний підпростір[en]
Задача про інваріантний підпростір стосується випадку, коли простір є сепарабельним гільбертовим простором розмірності 1 над полем комплексних чисел, а відображення є обмеженим оператором. Задача полягає в тому, щоб з'ясувати, чи будь-яке таке відображення має нетривіальний, замкнутий, інваріантний підпростір. Станом на 2021 рік ця задача залишається відкритою.
У більш загальному випадку, коли простір є банаховим простором, існує приклад оператора без інваріантного підпростору (Пер Енфло[en], 1976). Вперше такий приклад[en] було отримано Чарльзом Рідом[en] у 1985 році.
Для заданої непорожньої множини інваріантні підпростори, інваріантні відносно кожного елемента множини , утворюють ґратку, яку іноді називають ґраткою інваріантного підпростору множини і позначають як .
Операції ґратки задаються природним чином: для операція перетину визначається як
тоді як операція об'єднання визначається як
Мінімальний елемент ґратки називається мінімальним інваріантним підпростором.
Подібно до того, як основна теорема алгебри гарантує, що будь-яке лінійне перетворення, яке діє на скінченновимірному комплексному векторному просторі, має нетривіальний інваріантний підпростір, основна теорема некомутативної алгебри стверджує, що ґратка містить нетривіальні елементи для деякої множини .
Теорема (Бернсайд). Нехай — комплексний векторний простір скінченної розмірності. Для кожної власної підалгебри алгебри ґратка містить нетривіальний елемент.
Теорема Бернсайда має фундаментальне значення в лінійній алгебрі. Одним з її наслідків є те, що будь-яку комутуючу сім'ю в можна одночасно звести до верхньотрикутного вигляду.
Непорожня множина називається звідною до трикутного вигляду, якщо існує базис простору такий, що
- для всіх .
Іншими словами, множина зводиться до трикутного вигляду, якщо існує такий базис в якому будь-який елемент множини має верхньотрикутне матричне представлення. З теореми Бернсайда випливає, що будь-яка комутативна підалгебра алгебри зводиться до трикутного вигляду. Отже, будь-яку комутуючу сім'ю в можна одночасно звести до верхньотрикутного вигляду.
Якщо простір є алгеброю, то можна визначити ліве регулярне представлення[en] на : — це гомоморфізм з алгебри у простір (алгебра лінійних перетворень на алгебрі ).
Інваріантні підпростори представлення є лівими ідеалами алгебри . Лівий ідеал алгебри визначає підпредставлення алгебри на підпросторі .
Якщо підпростір є лівим ідеалом алгебри , то ліве регулярне представлення на підпросторі тепер переходить у представлення на векторному фактор-просторі . Якщо позначає клас еквівалентності в просторі , то . Ядром представлення є множина для всіх .
Представлення є незвідним[en] тоді й лише тоді, коли підпростір є максимальним лівим ідеалом, оскільки підпростір є інваріантним відносно тоді й лише тоді, коли його прообраз при фактор-відображенні, , є лівим ідеалом в алгебрі .
З інваріантними підпросторами пов'язані так звані майже інваріантні напівпростори. Замкнений підпростір банахового простору називається майже інваріантним відносно оператора , якщо для деякого скінченновимірного підпростору ; еквівалентно, підпростір є майже інваріантним відносно оператора , якщо існує оператор скінченного рангу[en] такий, що , тобто, якщо підпростір інваріантний (у звичайному розумінні) відносно оператора . У цьому випадку мінімально можлива розмірність підпростору (або ранг оператора ) називається дефектом.
Зрозуміло, що будь-який скінченновимірний і скінченноковимірний підпростір є майже інваріантним відносно будь-якого оператора. Тому, щоб зробити речі нетривіальними, прийнято говорити, що підпростір є напівпростором, якщо це замкнений підпростір нескінченної розмірності та нескінченної корозмірності.
Задача майже інваріантного напівпростору полягає в тому, щоб визначити чи будь-який оператор припускає існування майже інваріантного напівпростору. У випадку комплексного поля задача вже розв'язана; тобто, якщо простір є комплексним нескінченновимірним банаховим простором і оператор , тоді оператор допускає майже інваріантний напівпростір з дефектом щонайбільше 1. Наразі невідомо, чи справедливо те саме, якщо простір є дійсним банаховим простором. Проте встановлено деякі частинні результати: наприклад, будь-який самоспряжений оператор[en] у нескінченновимірному дійсному гільбертовому просторі допускає майже інваріантний напівпростір, як і будь-який строго сингулярний (або компактний) оператор, що діє на дійсний нескінченновимірний рефлексивний простір.
- Гельфанд И. М. Лекции по линейной алгебре. — 5-е. — Москва : Наука, 1998. — 320 с. — ISBN 5791300158.(рос.)
- Гантмахер Ф. Р. Теорія матриць. — 2024. — 400+ с.(укр.)
- Abramovich, Yuri A.; Aliprantis, Charalambos D. (2002). An Invitation to Operator Theory. American Mathematical Society. ISBN 978-0-8218-2146-6.
- Beauzamy, Bernard (1988). Introduction to Operator Theory and Invariant Subspaces. North Holland.
- Enflo, Per; Lomonosov, Victor (2001). „Some aspects of the invariant subspace problem“. Handbook of the geometry of Banach spaces. Vol.I. Amsterdam: North-Holland. pp. 533–559.
- Gohberg, Israel; Lancaster, Peter; Rodman, Leiba (2006). Invariant Subspaces of Matrices with Applications. Classics in Applied Mathematics. Vol.51 (Reprint, with list of errata and new preface, of the 1986 Wiley ed.). Society for Industrial and Applied Mathematics (SIAM). pp. xxii+692. ISBN 978-0-89871-608-5.
- Lyubich, Yurii I. (1988). Introduction to the Theory of Banach Representations of Groups (Translated from the 1985 Russian-language ed.). Kharkov, Ukraine: Birkhäuser Verlag.
- Radjavi, Heydar; Rosenthal, Peter (2003). Invariant Subspaces (Update of 1973 Springer-Verlag ed.). Dover Publications. ISBN 0-486-42822-2.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |